PAUL STROOPER: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A method for verifying concurrent Java components based on an analysis of concurrency failures

Brad Long, Paul Strooper, Luke Wildman

Journal:

Concurrency and Computation: Practice and Experience

Year:

2007

Language:

english

File:

PDF, 204 KB

english, 2007

2

Boundary values and automated component testing

Daniel Hoffman, Paul Strooper, Lee White

Journal:

Software Testing, Verification and Reliability

Year:

1999

Language:

english

File:

PDF, 191 KB

english, 1999

3

A model-based development approach for the verification of real-time Java code

Niusha Hakimi Pour, Paul Strooper, Andy Wellings

Journal:

Concurrency and Computation: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 1.17 MB

english, 2011

4

Two case studies in grammar-based test generation

Daniel Hoffman, Hong-Yi Wang, Mitch Chang, David Ly-Gagnon, Lewis Sobotkiewicz, Paul Strooper

Journal:

Journal of Systems and Software

Year:

2010

Language:

english

File:

PDF, 1.18 MB

english, 2010

5

Grammar-based test generation with YouGen

Daniel Malcolm Hoffman, David Ly-Gagnon, Paul Strooper, Hong-Yi Wang

Journal:

Software: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 735 KB

english, 2011

6

An industry/university collaboration to upgrade software engineering knowledge and skills in industry

David Carrington, Paul Strooper, Sharron Newby, Terry Stevenson

Journal:

Journal of Systems and Software

Year:

2005

Language:

english

File:

PDF, 298 KB

english, 2005

7

The World of Dementia Beyond 2020

Henry Brodaty, Monique M. B. Breteler, Steven T. DeKosky, Pascale Dorenlot, Laura Fratiglioni, Christoph Hock, Paul-Ariel Kenigsberg, Philip Scheltens, Bart De Strooper

Journal:

Journal of the American Geriatrics Society

Year:

2011

Language:

english

File:

PDF, 76 KB

english, 2011

8

10.1038/19083

De Strooper, Bart, Kopan, Raphael, Annaert, Wim, Cupers, Philippe, Saftig, Paul, Craessaerts, Katleen, Mumm, Jeffrey S., Schroeter, Eric H., Schrijvers, Vincent, Wolfe, Michael S., Ray, William J., Go

Journal:

Year:

1999

Language:

english

File:

PDF, 543 KB

english, 1999

9

[IEEE 2015 24th Australasian Software Engineering Conference (ASWEC) - Adelaide, SA, Australia (2015.9.28-2015.10.1)] 2015 24th Australasian Software Engineering Conference - Automation of Test Case Generation from Behavior Tree Requirements Models

Lindsay, Peter A., Kromodimoeljo, Sentot, Strooper, Paul A., Almorsy, Mohamed

Year:

2015

Language:

english

File:

PDF, 1.04 MB

english, 2015

10

ClassBench: a Framework for Automated Class Testing

DANIEL HOFFMAN, PAUL STROOPER

Journal:

Software: Practice and Experience

Year:

1997

Language:

english

File:

PDF, 183 KB

english, 1997

11

From Object-Z specifications to ClassBench test suites

David Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul Strooper

Journal:

Software Testing, Verification and Reliability

Year:

2000

Language:

english

File:

PDF, 250 KB

english, 2000

12

An Automated Approach for the Interpretation of Counter-Examples

Lionel van den Berg, Paul Strooper, Wendy Johnston

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 306 KB

english, 2007

13

API documentation with executable examples

Daniel Hoffman, Paul Strooper

Journal:

Journal of Systems and Software

Year:

2003

Language:

english

File:

PDF, 436 KB

english, 2003

14

Refinement and state machine abstraction

Karl Lermer, Paul Strooper

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 274 KB

english, 2001

15

Don't Care Non-determinism in Logic Program Refinement

David Hemer, Robert Colvin, Ian Hayes, Paul Strooper

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 312 KB

english, 2002

16

Gene profiling of hippocampal neuronal culture

Michal Dabrowski, Stein Aerts, Paul Van Hummelen, Katleen Craessaerts, Bart De Moor, Wim Annaert, Yves Moreau, Bart De Strooper

Journal:

Journal of Neurochemistry

Year:

2003

Language:

english

File:

PDF, 314 KB

english, 2003

17

Lack of a-disintegrin-and-metalloproteinase ADAM10 leads to intracellular accumulation and loss of shedding of the cellular prion proteinin vivo

Hermann C Altmeppen, Johannes Prox, Berta Puig, Mark A Kluth, Christian Bernreuther, Dana Thurm, Ellen Jorissen, Bettina Petrowitz, Udo Bartsch, Bart De Strooper, Paul Saftig, Markus Glatzel

Journal:

Molecular Neurodegeneration

Year:

2011

Language:

english

File:

PDF, 4.17 MB

english, 2011

18

A framework for table driven testing of Java classes

Nigel Daley, Daniel Hoffman, Paul Strooper

Journal:

Software: Practice and Experience

Year:

2002

Language:

english

File:

PDF, 237 KB

english, 2002

19

Tool support for executable documentation of Java class hierarchies

Daniel Hoffman, Paul Strooper, Sarah Wilkin

Journal:

Software Testing, Verification and Reliability

Year:

2005

Language:

english

File:

PDF, 209 KB

english, 2005

20

A case study in model-based testing of specifications and implementations

Tim Miller, Paul Strooper

Journal:

Software Testing, Verification and Reliability

Year:

2012

Language:

english

File:

PDF, 523 KB

english, 2012

21

Discovering inequality conditions in the analytic solution of optimization problems

Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 1.12 MB

english, 1989

22

Maximising the information gained from a study of static analysis technologies for concurrent software

Margaret A. Wojcicki, Paul Strooper

Journal:

Empirical Software Engineering

Year:

2007

Language:

english

File:

PDF, 595 KB

english, 2007

23

The Swedish APP mutation alters the effect of genetically reduced BACE1 expression on the APP processing

Sabine Rabe, Julia Reichwald, Domenico Ammaturo, Bart de Strooper, Paul Saftig, Ulf Neumann, Matthias Staufenbiel

Journal:

Journal of Neurochemistry

Year:

2011

Language:

english

File:

PDF, 272 KB

english, 2011

24

Alterations in phosphatidylethanolamine levels affect the generation of Aβ

Iva Nesic, Francesc X. Guix, Krist’l Vennekens, Vasiliki Michaki, Paul P. Van Veldhoven, Fabian Feiguin, Bart De Strooper, Carlos G. Dotti, Tina Wahle

Journal:

Year:

2012

Language:

english

File:

PDF, 697 KB

english, 2012

25

10.1038/34910

De Strooper, Bart, Saftig, Paul, Craessaerts, Katleen, Vanderstichele, Hugo, Guhde, Gundula, Annaert, Wim, Von Figura, Kurt, Van Leuven, Fred

Journal:

Year:

1998

Language:

english

File:

PDF, 382 KB

english, 1998

26

No endogenous Aβ production in presenilin-deficient fibroblasts

Nyabi, Omar, Pype, Stefan, Mercken, Marc, Herreman, An, Saftig, Paul, Craessaerts, Katleen, Serneels, Lutgarde, Annaert, Wim, De Strooper, Bart

Journal:

Nature Cell Biology

Year:

2002

Language:

english

File:

PDF, 157 KB

english, 2002

27

ADAM10 cleavage of N-cadherin and regulation of cell–cell adhesion and β-catenin nuclear signalling

Reiss, Karina, Maretzky, Thorsten, Ludwig, Andreas, Tousseyn, Thomas, de Strooper, Bart, Hartmann, Dieter, Saftig, Paul

Journal:

The EMBO Journal

Year:

2005

Language:

english

File:

PDF, 311 KB

english, 2005

28

ADAM10 cleavage of N-cadherin and regulation of cell–cell adhesion and β-catenin nuclear signalling

Reiss, Karina, Maretzky, Thorsten, Ludwig, Andreas, Tousseyn, Thomas, de Strooper, Bart, Hartmann, Dieter, Saftig, Paul

Journal:

The EMBO Journal

Year:

2005

Language:

english

File:

PDF, 38 KB

english, 2005

29

Implication of APP secretases in notch signaling

Dieter Hartmann, Jos Tournoy, Paul Saftig, Wim Annaert, Bart De Strooper

Journal:

Journal of Molecular Neuroscience

Year:

2001

Language:

english

File:

PDF, 160 KB

english, 2001

30

Presenilin-1 deficiency leads to loss of Cajal–Retzius neurons and cortical dysplasia similar to human type 2 lissencephaly

Dieter Hartmann, Bart De Strooper, Paul Saftig

Journal:

Current Biology

Year:

1999

Language:

english

File:

PDF, 272 KB

english, 1999

31

P2-121 In vivo consequences of BACE1 and BACE2 deficiency

Jos Tournoy, Diana Dominguez, Dieter Hartmann, Karina Reiss, Paul Saftig, Bart De Strooper

Journal:

Neurobiology of Aging

Year:

2004

Language:

english

File:

PDF, 163 KB

english, 2004

32

P2-084 BACE1 and BACE2 deficient mice

Diana I. Dominguez, Jos U. Tournoy, Dieter Hartmann, Karina Reiss, Paul Saftig, Bart de Strooper

Journal:

Neurobiology of Aging

Year:

2004

Language:

english

File:

PDF, 318 KB

english, 2004

33

Presenilin Function in APP Processing

WIM ANNAERT, PHILIPPE CUPERS, PAUL SAFTIG, BART DE STROOPER

Journal:

Annals of the New York Academy of Sciences

Year:

2000

Language:

english

File:

PDF, 242 KB

english, 2000

34

[IEEE 2009 16th Asia-Pacific Software Engineering Conference (APSEC) - Batu Ferringhi, Penang, Malaysia (2009.12.1-2009.12.3)] 2009 16th Asia-Pacific Software Engineering Conference - Selecting Usability Evaluation Methods for Software Process Descriptions

Mahrin, Mohd Naz'ri, Strooper, Paul, Carrington, David

Year:

2009

Language:

english

File:

PDF, 259 KB

english, 2009

35

P4-305 Identification and characterization of novel cleavage-defective presenilin-1 mutants

Nishimura, Masaki, Nakaya, Yoshifumi, Yamane, Takuya, Wang, Hua-Qin, Shiraishi, Hirohisa, Komano, Hiroto, Matsubara, Etsuro, Shoji, Mikio, De Strooper, Bart, Fraser, Paul, St George-Hyslop, Peter

Journal:

Neurobiology of Aging

Year:

2004

Language:

english

File:

PDF, 154 KB

english, 2004

36

P4-313 Presenilin-1 induces NF-κB activation via a RIP-P62-APKC signaling cascade

Powell, James C., Elzinga, Baukje M., Hsu, Shu-Chi, Diaz-Meco, Maria T., Kirschenbaum, Ford, Saftig, Paul, De Strooper, Bart, Moscat, Jorge, Cordell, Barbara, McCarthy, Justin V.

Journal:

Neurobiology of Aging

Year:

2004

Language:

english

File:

PDF, 164 KB

english, 2004

37

P4-172 Shedding of the ADAM10 ectodomain is mediated by ADAM9 and is followed by a processing of the ADAM10 CTF by presenilin/gamma-secretase

Tousseyn, Thomas A., Blobel, Carl, Serneels, Lutgarde, Nyabi, Omar, Snellinx, An, Maes, Elke, Sciot, Raf, Saftig, Paul, Strooper, Bart De, Hartmann, Dieter

Journal:

Neurobiology of Aging

Year:

2004

Language:

english

File:

PDF, 155 KB

english, 2004

38

Presenilin 1 Controls γ-Secretase Processing of Amyloid Precursor Protein in Pre-Golgi Compartments of Hippocampal Neurons

Wim G. Annaert, Lyne Levesque, Kathleen Craessaerts, Inge Dierinck, Greet Snellings, David Westaway, Peter St. George-Hyslop, Barbara Cordell, Paul Fraser and Bart de Strooper

Journal:

The Journal of Cell Biology

Year:

1999

Language:

english

File:

PDF, 6.44 MB

english, 1999

39

Presenilin 1 Mediates the Turnover of Telencephalin in Hippocampal Neurons via an Autophagic Degradative Pathway

Cary Esselens, Viola Oorschot, Veerle Baert, Tim Raemaekers, Kurt Spittaels, Lutgarde Serneels, Hui Zheng, Paul Saftig, Bart De Strooper, Judith Klumperman and Wim Annaert

Journal:

The Journal of Cell Biology

Year:

2004

Language:

english

File:

PDF, 4.94 MB

english, 2004

40

[IEEE 2007 Australian Software Engineering Conference (ASWEC'07) - Melbourne, Australia (2007.04.10-2007.04.13)] 2007 Australian Software Engineering Conference (ASWEC'07) - Improving Usability of Software Refactoring Tools

Mealy, Erica, Carrington, David, Strooper, Paul, Wyeth, Peta

Year:

2007

Language:

english

File:

PDF, 728 KB

english, 2007

41

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Architecture-Centric Model-Driven Web Engineering

Escott, Eban, Strooper, Paul, Suß, Jorn Guy, King, Paul

Year:

2011

Language:

english

File:

PDF, 719 KB

english, 2011

42

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - TART: Timed-Automata to Real-Time Java Tool

Hakimipour, Niusha, Strooper, Paul, Wellings, Andy

Year:

2010

Language:

english

File:

PDF, 312 KB

english, 2010

43

[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07 Companion) - Testing Concurrent Java Components

Strooper, Paul, Wildman, Luke

Year:

2007

Language:

english

File:

PDF, 140 KB

english, 2007

44

[IEEE 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Windsor, United Kingdom (2009.09.4-2009.09.6)] 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Test Generation with Context Free Grammars and Covering Arrays

Hoffman, Daniel, Sobotkiewicz, Lewis, Wang, Hong-Yi, Strooper, Paul, Bazdell, Gary, Stevens, Brett

Year:

2009

Language:

english

File:

PDF, 149 KB

english, 2009

45

Autosomal-dominant Alzheimer's disease: a review and proposal for the prevention of Alzheimer's disease

Randall J Bateman,Paul S Aisen,Bart De Strooper…

Journal:

Alzheimer's Research & Therapy

Year:

2011

Language:

english

File:

PDF, 2.82 MB

english, 2011

46

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Selecting V&V Technology Combinations: How to Pick a Winner?

Strooper, Paul, Wojcicki, Margaret A.

Year:

2007

Language:

english

File:

PDF, 192 KB

english, 2007

47

[IEEE 2007 Australian Software Engineering Conference (ASWEC'07) - Melbourne, Australia (2007.04.10-2007.04.13)] 2007 Australian Software Engineering Conference (ASWEC'07) - Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks

Ngui, John, Strooper, Paul, Wildman, Luke, Wojcicki, Margaret

Year:

2007

Language:

english

File:

PDF, 236 KB

english, 2007

48

[IEEE 2012 19th Asia-Pacific Software Engineering Conference (APSEC) - Hong Kong, China (2012.12.4-2012.12.7)] 2012 19th Asia-Pacific Software Engineering Conference - Exploring an Approach to Model-Based Testing from Behavior Trees

Hakimipour, Niusha, Strooper, Paul

Year:

2012

Language:

english

File:

PDF, 4.63 MB

english, 2012

49

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Integrating Model-Based Testing in Model-Driven Web Engineering

Escott, Eban, Strooper, Paul, Steel, Jim, King, Paul

Year:

2011

Language:

english

File:

PDF, 702 KB

english, 2011

50

[IEEE Fifth International Workshop on Software Quality (WoSQ'07: ICSE Workshops 2007) - Minneapolis, MN, USA (2007.05.20-2007.05.26)] Fifth International Workshop on Software Quality (WoSQ'07: ICSE Workshops 2007) - An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies

Wojcicki, Margaret A., Strooper, Paul

Year:

2007

Language:

english

File:

PDF, 200 KB

english, 2007